IMPROVING THE NUMERICAL STABILITY OF FAST MATRIX MULTIPLICATION GREY BALLARD∗ , AUSTIN R. BENSON† , ALEX DRUINSKY‡ , BENJAMIN LIPSHITZ§ , AND ODED SCHWARTZ¶ Abstract. Fast algorithms for matrix multiplication, na

Source URL: www.cs.huji.ac.il

• Multiplication
• Theoretical computer science
• Matrix theory
• Numerical linear algebra
• Operations research
• Matrix multiplication algorithm
• Matrix
• Algorithm
• Multiplication algorithm
• Stability
• Divide and conquer algorithms
• Recursion

The Why3 platform Version 0.82, December 2013 François Bobot1,2 Jean-Christophe Filliâtre1,2

Source URL: why3.lri.fr

• Proof assistants
• Formal methods
• Logic in computer science
• Alt-Ergo
• Frama-C
• Theoretical computer science
• Coq
• Formal verification
• KeY
• IP

Recombinable Game Mechanics for Automated Design Support

Source URL: www.kmjn.org

• Leisure
• Game design
• Gaming
• Video game design
• Logic in computer science
• Theoretical computer science
• Video game development
• Game mechanics
• Event calculus
• Calculus
• Axiom
• Platform game

Year  1  New  Computing  Curriculum  Overview   Strand      

Source URL: swaygrantham.co.uk

• Computing
• Computer programming
• Software engineering
• Algorithm
• Mathematical logic
• Theoretical computer science
• Computer
• Input/output
• Instruction set
• Subroutine
• Password
• Algorithm characterizations

Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT

Source URL: www.eecs.northwestern.edu

• Software engineering
• Theoretical computer science
• Computing
• Logic in computer science
• Formal methods
• Programming language semantics
• Control flow
• Eval
• Functional languages
• Operational semantics
• Robert Bruce Findler
• Racket

Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2

Source URL: www.cis.upenn.edu

• Finite automata
• Formal languages
• Theoretical computer science
• -automaton
• Omega language
• Regular language
• Muller automaton
• Constructible universe
• Symbol
• DFA minimization
• Mathematics
• Omega-regular language

Journal of Artificial Intelligence Research755 Submitted 08/08; publishedEfficient Informative Sensing using Multiple Robots Amarjeet Singh

Source URL: select.cs.cmu.edu

• Mathematics
• Applied mathematics
• Theoretical computer science
• Routing algorithms
• Combinatorial optimization
• Search algorithms
• Game artificial intelligence
• Algorithm
• A* search algorithm
• Submodular set function
• Motion planning
• Greedy algorithm

Discrete Mathematics and Theoretical Computer Science DMTCS vol. (subm.), by the authors, 1–1 Local chromatic number and topological properties of graphs

Source URL: www.renyi.hu

Petros Drineas Associate Professor Computer Science Department Rensselaer Polytechnic Institute http://www.cs.rpi.edu/~drinep

Source URL: www.drineas.org

• Algebra
• Mathematics
• Numerical linear algebra
• Matrix multiplication
• Theoretical computer science
• Algorithm
• Data stream mining
• Vasant Honavar

Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri

Source URL: homepage.lnu.se

• Metaphysics
• Complex systems theory
• Philosophy
• Formal methods
• Theoretical computer science
• Logic in computer science
• Runtime verification
• Model checking
• Complex adaptive system
• System
• Emergence
• Field